package com.example.springboot_sdse_air.mapper;

import com.baomidou.mybatisplus.core.mapper.BaseMapper;
import com.example.springboot_sdse_air.entity.SystemPdfFavorite;
import org.apache.ibatis.annotations.Mapper;
import org.apache.ibatis.annotations.Param;

import java.util.List;

/**
 * 功能：系统PDF收藏Mapper
 * 作者：王彬 202200111149
 * 日期：2025-01-15
 */
@Mapper
public interface SystemPdfFavoriteMapper extends BaseMapper<SystemPdfFavorite> {

    /**
     * 获取用户收藏的PDF ID列表
     */
    List<Integer> getFavoritePdfIds(@Param("userId") Integer userId);

    /**
     * 检查用户是否收藏了指定PDF
     */
    boolean isFavorited(@Param("userId") Integer userId, @Param("pdfId") Integer pdfId);
} 